Search Based Automatic Test-Data Generation at an Architectural Level

Yuan Zhan and John Clark

Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural description languages, there remains a lack of practical techniques in many application domains. We present a simulation-based testing framework that applies optimisation-based search to achieve high-performance testing for a type of architectural model. The search based automatic test-data generation technique forms the core of the framework. Matlab/Simulink is popularly used in embedded systems engineering as an architectural-level design notation. Our prototype framework is built on Matlab for testing Simulink models. The technology involved should apply to the other architectural notations provided that the notation supports execution or simulation.

LNCS 3103, p. 1413 ff.

Full article in PDF

lncs@springer.de
© Springer-Verlag Berlin Heidelberg 2004